In this book the authors reconcile two different viewpoints of the foundations of mathematics, namely mathematical logic and category theory. In Part I, they show that typed lambda-calculi, a formulation of higher order logic, and cartesian closed categories are essentially the same. In Part II, it [...]

Why study music? How much practical use is it in the modern world? This introduction proves how studying music is of great value both in its own terms and also in the post-university careers marketplace. The book explains the basic concepts and issues involved in the academic study of music, draws a[...]